منابع مشابه
Making inconsistency respectable: a logical framework for inconsistency in reasoning
We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done by \restoring" consistency but by supplying rules telling one how to act when the inconsistency arises. For artiicial intelligence there is an urgent need to revise the view that inconsi...
متن کاملPrinciples for Inconsistency
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why consistency may have to be weakened to achieve other business goals. In this CIDR 2009 Perspectives paper, we present real-world reasons inconsistency may be necessary, offer principles for managing inconsistency coheren...
متن کاملInconsistency Management for Traffic Regulations
Road Traffic Regulations (Straßenverkehrsordnung; StVO) define legal road use on public streets. In particular, they describe the meaning and appropriation of traffic signs by means of which road use restrictions can be adopted. Traffic regulation orders become legally binding when they are announced by according traffic signs. This may lead to inconsistencies with existing regulations. In orde...
متن کاملInconsistency Management for Traffic Regulations
Smart Cities is a vision driven by the availability of governmental data that fosters many challenging applications. One of them is the management of inconsistent traffic regulations, i.e., the handling of inconsistent traffic signs and measures in urban areas such as wrong sign posting, or errors in data acquisition in traffic sign administration software. We investigate such inconsistent traf...
متن کاملInconsistency measures for probabilistic logics
Inconsistencies in knowledge bases are of major concern in knowledge representation and reasoning. In formalisms that employ model-based reasoning mechanisms inconsistencies render a knowledge base useless due to the non-existence of a model. In order to restore consistency an analysis and understanding of inconsistencies is mandatory. Recently, the field of inconsistency measurement has gained...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2015
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2015.04.007